Chalin, Patrice: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Towards an industrial grade IVE for Java and next generation research platform for JML

Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2010

Language:

english

File:

PDF, 766 KB

english, 2010

2

[ACM Press the 2006 conference - Portland, Oregon (2006.11.10-2006.11.11)] Proceedings of the 2006 conference on Specification and verification of component-based systems - SAVCBS '06 - Early detection of JML specification errors using ESC/Java2

Chalin, Patrice

Year:

2006

Language:

english

File:

PDF, 209 KB

english, 2006

3

[ACM Press the 2007 conference - Dubrovnik, Croatia (2007.09.03-2007.09.04)] Proceedings of the 2007 conference on Specification and verification of component-based systems 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - SAVCBS '07 - An integrated verification environment for JML

Chalin, Patrice, James, Perry R., Karabotsos, George

Year:

2007

Language:

english

File:

PDF, 434 KB

english, 2007

4

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07) - A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler

Chalin, Patrice

Year:

2007

Language:

english

File:

PDF, 417 KB

english, 2007

5

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Merging of Use Case Models: Semantic Foundations

Barrett, Stephen, Sinnig, Daniel, Chalin, Patrice, Butler, Greg

Year:

2009

Language:

english

File:

PDF, 274 KB

english, 2009

6

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - LTS semantics for use case models

Sinnig, Daniel, Chalin, Patrice, Khendek, Ferhat

Year:

2009

Language:

english

File:

PDF, 340 KB

english, 2009

7

[ACM Press the 11th International Workshop - Genova, Italy (2009.07.06-2009.07.06)] Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs - FTfJP '09 - Preliminary design of a unified JML representation and software infrastructure

Robby,, Chalin, Patrice

Year:

2009

Language:

english

File:

PDF, 349 KB

english, 2009

8

Partial order semantics for use case and task models

Daniel Sinnig, Ferhat Khendek, Patrice Chalin

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 1.66 MB

english, 2011

9

[ACM Press the 2005 conference - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 - Non-null references by default in the Java modeling language

Chalin, Patrice, Rioux, Frédéric

Year:

2005

Language:

english

File:

PDF, 135 KB

english, 2005

10

[IEEE 2014 IEEE International Conference on Information Reuse and Integration (IRI) - Redwood City, CA, USA (2014.8.13-2014.8.15)] Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) - Ensuring that your dart will hit the mark: An introduction to dart contracts

Chalin, Patrice

Year:

2014

Language:

english

File:

PDF, 134 KB

english, 2014

11

[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - Capturing business transaction requirements in use case models

Chalin, Patrice, Sinnig, Daniel, Torkzadeh, Kianoush

Year:

2008

Language:

english

File:

PDF, 79 KB

english, 2008

12

[ACM Press the 2012 ACM conference - Boston, Massachusetts, USA (2012.12.02-2012.12.06)] Proceedings of the 2012 ACM conference on High integrity language technology - HILT '12 - Leading-edge Ada verification technologies

Belt, Jason, Chalin, Patrice, Hatcliff, John, Robby,

Year:

2012

Language:

english

File:

PDF, 358 KB

english, 2012

13

Towards a Common Semantic Foundation for Use Cases and Task Models

Daniel Sinnig, Patrice Chalin, Ferhat Khendek

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 673 KB

english, 2007

14

Use case and task models

Sinnig, Daniel, Chalin, Patrice, Khendek, Ferhat

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 636 KB

english, 2013

15

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less

Chalin, Patrice

Year:

2009

Language:

english

File:

PDF, 445 KB

english, 2009

16

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - A Formal Model for Generating Integrated Functional and User Interface Test Cases

Sinnig, Daniel, Khendek, Ferhat, Chalin, Patrice

Year:

2010

Language:

english

File:

PDF, 555 KB

english, 2010

17

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Extended static checking in JML4

James, Perry R., Chalin, Patrice

Year:

2009

Language:

english

File:

PDF, 348 KB

english, 2009

18

[ACM Press the 8th international workshop - Amsterdam, The Netherlands (2009.08.25-2009.08.25)] Proceedings of the 8th international workshop on Specification and verification of component-based systems - SAVCBS '09 - ESC4

James, Perry R., Chalin, Patrice

Year:

2009

Language:

english

File:

PDF, 607 KB

english, 2009

19

[ACM Press the 2011 ACM annual international conference - Denver, Colorado, USA (2011.11.06-2011.11.10)] Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language - SIGAda '11 - Enhancing spark's contract checking facilities using symbolic execution

Belt, Jason, Hatcliff, John, Robby,, Chalin, Patrice, Hardin, David, Deng, Xianghua

Year:

2011

Language:

english

File:

PDF, 908 KB

english, 2011

20

[IEEE 2013 5th International Workshop on Software Engineering in Health Care (SEHC) - San Francisco, CA, USA (2013.05.20-2013.05.21)] 2013 5th International Workshop on Software Engineering in Health Care (SEHC) - Open source Patient-Controlled Analgesic pump requirements documentation

Larson, Brian R., Hatcliff, John, Chalin, Patrice

Year:

2013

Language:

english

File:

PDF, 654 KB

english, 2013

21

Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 1.12 MB

english, 2007

22

Enhancing spark's contract checking facilities using symbolic execution

Belt, Jason, Hatcliff, John, Robby,, Chalin, Patrice, Hardin, David, Deng, Xianghua

Journal:

ACM SIGAda Ada Letters

Year:

2011

Language:

english

File:

PDF, 908 KB

english, 2011

23

Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study

Frédéric Rioux, Patrice Chalin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 238 KB

english, 2006

24

[IEEE 2012 4th International Workshop on Software Engineering in Health Care (SEHC) - Zurich, Switzerland (2012.06.4-2012.06.5)] 2012 4th International Workshop on Software Engineering in Health Care (SEHC) - Requirements specification for apps in medical application platforms

Larson, Brian, Hatcliff, John, Procter, Sam, Chalin, Patrice

Year:

2012

Language:

english

File:

PDF, 513 KB

english, 2012

25

[IEEE 2010 2nd International Conference on Computer Engineering and Technology - Chengdu, China (2010.04.16-2010.04.18)] 2010 2nd International Conference on Computer Engineering and Technology - Techniques for use case modeling in Fujaba

Barrett, Stephen C., Butler, Greg, Chalin, Patrice

Year:

2010

Language:

english

File:

PDF, 1023 KB

english, 2010

26

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Explicating symbolic execution (xSymExe): An evidence-based verification framework

Hatcliff, John, Robby,, Chalin, Patrice, Belt, Jason

Year:

2013

Language:

english

File:

PDF, 328 KB

english, 2013

27

Faster and More Complete Extended Static Checking for the Java Modeling Language

Perry R. James, Patrice Chalin

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 459 KB

english, 2010

28

Non-null references by default in the Java modeling language

Chalin, Patrice, Rioux, Frédéric

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2006

Language:

english

File:

PDF, 135 KB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски